(eq? car cdr)
()
(
 (lambda (x) (cons 1 x))
 2
)
(lambda () (+ 3 1))
(((lambda () (lambda (a b) (+ a b)))) 2 3)
